『Sets in types, types in sets』
(PDF) Sets in types, types in sets
1. どんなもの?
2. 先行研究と比べてどこがすごい?
3. 技術や手法のキモはどこ?
4. どうやって有効だと検証した?
5. 議論はある?
6. 次に読むべき論文は?
coq-contribs/zfc: An encoding of Zermelo-Fraenkel Set Theory in Coq
#論文読み
#論文
#文献